Christian Retoré: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

1

[Lecture Notes in Computer Science] The Logic of Categorial Grammars Volume 6850 || Lambek Calculus and Montague Grammar

Moot, Richard, Retoré, Christian

Year:

2012

Language:

english

File:

PDF, 499 KB

english, 2012

2

[Lecture Notes in Computer Science] Logical Aspects of Computational Linguistics. Celebrating 20 Years of LACL (1996–2016) Volume 10054 || Context Update for Lambdas and Vectors

Amblard, Maxime, de Groote, Philippe, Pogodalla, Sylvain, Retoré, Christian

Year:

2016

Language:

english

File:

PDF, 163 KB

english, 2016

3

[Lecture Notes in Computer Science] Logical Aspects of Computational Linguistics. Celebrating 20 Years of LACL (1996–2016) Volume 10054 ||

Amblard, Maxime, de Groote, Philippe, Pogodalla, Sylvain, Retoré, Christian

Year:

2016

Language:

english

File:

PDF, 9.68 MB

english, 2016

4

Towards a Type-Theoretical Account of Lexical Semantics

Christian Bassac, Bruno Mery, Christian Retoré

Journal:

Journal of Logic, Language and Information

Year:

2010

Language:

english

File:

PDF, 193 KB

english, 2010

5

[Lecture Notes in Computer Science] The Logic of Categorial Grammars Volume 6850 || The Multimodal Lambek Calculus

Moot, Richard, Retoré, Christian

Year:

2012

Language:

english

File:

PDF, 527 KB

english, 2012

6

[Lecture Notes in Computer Science] Logical Aspects of Computational Linguistics Volume 1328 || Strict LT2 : Regular :: Local : Recognizable

Retoré, Christian

Year:

1997

Language:

english

File:

PDF, 1.05 MB

english, 1997

7

[Lecture Notes in Computer Science] Logical Aspects of Computational Linguistics Volume 2099 || An Algebraic Approach to French Sentence Structure

de Groote, Philippe, Morrill, Glyn, Retoré, Christian

Year:

2001

Language:

english

File:

PDF, 172 KB

english, 2001

8

[Lecture Notes in Computer Science] The Logic of Categorial Grammars Volume 6850 ||

Moot, Richard, Retoré, Christian

Year:

2012

Language:

english

File:

PDF, 2.76 MB

english, 2012

9

[Lecture Notes in Computer Science] Logical Aspects of Computational Linguistics Volume 1328 || Representation theorems for residuated groupoids

Retoré, Christian

Year:

1997

Language:

english

File:

PDF, 367 KB

english, 1997

10

[Lecture Notes in Computer Science] Logical Aspects of Computational Linguistics. Celebrating 20 Years of LACL (1996–2016) Volume 10054 || On Classical Nonassociative Lambek Calculus

Amblard, Maxime, de Groote, Philippe, Pogodalla, Sylvain, Retoré, Christian

Year:

2016

Language:

english

File:

PDF, 252 KB

english, 2016

11

A Faithful Representation of Non-Associative Lambek Grammars in Abstract Categorial Grammars

Christian Retoré, Sylvain Salvati

Journal:

Journal of Logic, Language and Information

Year:

2010

Language:

english

File:

PDF, 356 KB

english, 2010

12

NEW DIRECTIONS IN TYPE-THEORETIC GRAMMARS || A Faithful Representation of Non-Associative Lambek Grammars in Abstract Categorial Grammars

Christian Retoré and Sylvain Salvati

Journal:

Journal of Logic, Language and Information

Year:

2010

Language:

english

File:

PDF, 1.21 MB

english, 2010

13

[Lecture Notes in Computer Science] Logical Aspects of Computational Linguistics. Celebrating 20 Years of LACL (1996–2016) Volume 10054 || Strong and Weak Quantifiers in Focused NL $$_{\text {CL}}$$

Amblard, Maxime, de Groote, Philippe, Pogodalla, Sylvain, Retoré, Christian

Year:

2016

Language:

english

File:

PDF, 655 KB

english, 2016

14

[Lecture Notes in Computer Science] Logical Aspects of Computational Linguistics Volume 1328 || Connected sets of types and categorial consequence

Retoré, Christian

Year:

1997

Language:

english

File:

PDF, 722 KB

english, 1997

15

[Lecture Notes in Computer Science] The Logic of Categorial Grammars Volume 6850 || The Non-associative Lambek Calculus

Moot, Richard, Retoré, Christian

Year:

2012

Language:

english

File:

PDF, 536 KB

english, 2012

16

Natural Language Semantics and Computability

Moot, Richard, Retoré, Christian

Journal:

Journal of Logic, Language and Information

Year:

2019

Language:

english

File:

PDF, 886 KB

english, 2019

17

Perfect matchings and series-parallel graphs: multiplicatives proof nets as R&B-graphs: [Extended Abstract]

Christian Retoré

Journal:

Electronic Notes in Theoretical Computer Science

Year:

1996

Language:

english

File:

PDF, 871 KB

english, 1996

18

[Lecture Notes in Computer Science] The Logic of Categorial Grammars Volume 6850 || Classical Categorial Grammars: AB Grammars

Moot, Richard, Retoré, Christian

Year:

2012

Language:

english

File:

PDF, 344 KB

english, 2012

19

NEW DIRECTIONS IN TYPE-THEORETIC GRAMMARS || Towards a Type-Theoretical Account of Lexical Semantics

Christian Bassac, Bruno Mery and Christian Retoré

Journal:

Journal of Logic, Language and Information

Year:

2010

Language:

english

File:

PDF, 1.48 MB

english, 2010

20

Introduction

Christian Retoré

Journal:

Journal of Logic, Language and Information

Year:

1998

Language:

english

File:

PDF, 24 KB

english, 1998

21

[Lecture Notes in Computer Science] Logical Aspects of Computational Linguistics Volume 2099 || Part of Speech Tagging from a Logical Point of View

de Groote, Philippe, Morrill, Glyn, Retoré, Christian

Year:

2001

Language:

english

File:

PDF, 188 KB

english, 2001

22

[Lecture Notes in Computer Science] Logical Aspects of Computational Linguistics Volume 1328 || Inessential features

Retoré, Christian

Year:

1997

Language:

english

File:

PDF, 1.05 MB

english, 1997

23

[Lecture Notes in Computer Science] Logical Aspects of Computational Linguistics Volume 1328 || A belief-centered treatment of pragmatic presupposition

Retoré, Christian

Year:

1997

Language:

english

File:

PDF, 982 KB

english, 1997

24

[Lecture Notes in Computer Science] Logical Aspects of Computational Linguistics Volume 1328 || Constructing different phonological bracketings from a proof net

Retoré, Christian

Year:

1997

Language:

english

File:

PDF, 702 KB

english, 1997

25

[Lecture Notes in Computer Science] Logical Aspects of Computational Linguistics Volume 1328 || Logical aspects of computational linguistics: An introduction

Retoré, Christian

Year:

1997

Language:

english

File:

PDF, 1.35 MB

english, 1997

26

[Lecture Notes in Computer Science] Logical Aspects of Computational Linguistics Volume 1328 || Sloopy Identity

Retoré, Christian

Year:

1997

Language:

english

File:

PDF, 1.08 MB

english, 1997

27

[Lecture Notes in Computer Science] Logical Aspects of Computational Linguistics Volume 1328 || Semilinearity as a syntactic invariant

Retoré, Christian

Year:

1997

Language:

english

File:

PDF, 920 KB

english, 1997

28

[Lecture Notes in Computer Science] Logical Aspects of Computational Linguistics Volume 1328 || Linear logic as logic programming: An abstract

Retoré, Christian

Year:

1997

Language:

english

File:

PDF, 242 KB

english, 1997

29

[Lecture Notes in Computer Science] Logical Aspects of Computational Linguistics Volume 1328 || Pomset Logic and variants in natural languages

Retoré, Christian

Year:

1997

Language:

english

File:

PDF, 784 KB

english, 1997

30

The mix rule

Fleury, Arnaud, Retoré, Christian

Journal:

Mathematical Structures in Computer Science

Year:

1994

Language:

english

File:

PDF, 709 KB

english, 1994

31

[Lecture Notes in Computer Science] Logical Aspects of Computational Linguistics Volume 1328 || Tree adjoining grammars in noncommutative linear logic

Retoré, Christian

Year:

1997

Language:

english

File:

PDF, 982 KB

english, 1997

32

Special Issue on Recent Advances in Logical and Algebraic Approaches to Grammar || Introduction

Christian Retoré

Journal:

Journal of Logic, Language and Information

Year:

1998

Language:

english

File:

PDF, 580 KB

english, 1998

33

Handsome proof-nets: perfect matchings and cographs

Christian Retoré

Journal:

Theoretical Computer Science

Year:

2003

Language:

english

File:

PDF, 176 KB

english, 2003

34

[Lecture Notes in Computer Science] Logical Aspects of Computational Linguistics Volume 1328 || Vagueness and type theory

Retoré, Christian

Year:

1997

Language:

english

File:

PDF, 713 KB

english, 1997

35

[Lecture Notes in Computer Science] Logical Aspects of Computational Linguistics Volume 2099 || A Formal Definition of Bottom-Up Embedded Push-Down Automata and Their Tabulation Technique

de Groote, Philippe, Morrill, Glyn, Retoré, Christian

Year:

2001

Language:

english

File:

PDF, 298 KB

english, 2001

36

[Lecture Notes in Computer Science] Logical Aspects of Computational Linguistics Volume 1328 || A natural language explanation for formal proofs

Retoré, Christian

Year:

1997

Language:

english

File:

PDF, 889 KB

english, 1997

37

[Lecture Notes in Computer Science] Logical Aspects of Computational Linguistics Volume 1328 || Constraint logic programming for computational linguistics

Retoré, Christian

Year:

1997

Language:

english

File:

PDF, 1.12 MB

english, 1997

38

[Lecture Notes in Computer Science] Logical Aspects of Computational Linguistics Volume 1328 || Models for polymorphic Lambek Calculus

Retoré, Christian

Year:

1997

Language:

english

File:

PDF, 1.10 MB

english, 1997

39

[Lecture Notes in Computer Science] Logical Aspects of Computational Linguistics Volume 1328 || A family of decidable feature logics which support HPSG-style set and list constructions

Retoré, Christian

Year:

1997

Language:

english

File:

PDF, 1.19 MB

english, 1997

40

[Lecture Notes in Computer Science] The Logic of Categorial Grammars Volume 6850 || A Logic for Categorial Grammars: Lambek’s Syntactic Calculus

Moot, Richard, Retoré, Christian

Year:

2012

Language:

english

File:

PDF, 513 KB

english, 2012

41

[Lecture Notes in Computer Science] Logical Aspects of Computational Linguistics Volume 1328 || Derivational minimalism

Retoré, Christian

Year:

1997

Language:

english

File:

PDF, 1.01 MB

english, 1997

42

[Lecture Notes in Computer Science] The Logic of Categorial Grammars Volume 6850 || Lambek Calculus and Linear Logic: Proof Nets as Parse Structures

Moot, Richard, Retoré, Christian

Year:

2012

Language:

english

File:

PDF, 590 KB

english, 2012

43

[Lecture Notes in Computer Science] Logical Aspects of Computational Linguistics Volume 1328 || Generation as deduction on labelled proof nets

Retoré, Christian

Year:

1997

Language:

english

File:

PDF, 871 KB

english, 1997

44

[Lecture Notes in Computer Science] Logical Aspects of Computational Linguistics Volume 1328 || Quantitative constraint logic programming for weighted grammar applications

Retoré, Christian

Year:

1997

Language:

english

File:

PDF, 1.15 MB

english, 1997

45

Deverbal Semantics and the Montagovian Generative Lexicon(Lambda !mathsf {Ty}_n)

Real, Livy, Retoré, Christian

Journal:

Journal of Logic, Language and Information

Year:

2014

Language:

english

File:

PDF, 530 KB

english, 2014

46

Category theory, logic and formal linguistics: Some connections, old and new

Gillibert, Jean, Retoré, Christian

Journal:

Journal of Applied Logic

Year:

2014

Language:

english

File:

PDF, 324 KB

english, 2014

47

A semantic characterisation of the correctness of a proof net

RETORÉ, CHRISTIAN

Journal:

Mathematical Structures in Computer Science

Year:

1997

Language:

english

File:

PDF, 432 KB

english, 1997

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски